<div>
  <p>
    Trace git command execution. This is passed to repo as
    <code>repo <i>--trace</i> &lt;subcommand&gt;</code>.
  </p>
</div>
